Hardware Design and Simulation for Verification
نویسندگان
چکیده
z This paper is intended to provide a general view on simulation-based modeling and verification strategies for developing embedded systems. z In particular, it describes state-of-the art co-simulation approaches and verification strategies based on fault simulation and assertion checking.
منابع مشابه
Control Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB (TECHNICAL NOTE)
The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...
متن کاملImage Optimization in Single Photon Emission Computed Tomography by Hardware Modifications with Monte Carlo Simulation
Introduction: In Single Photon Emission Computed Tomography (SPECT), the projection data used for image reconstruction are distorted by several factors, including attenuation and scattering of gamma rays, collimator structure, data acquisition method, organ motion, and washout of radiopharmaceuticals. All these make reconstruction of a quantitative SPECT image very difficult. Simulation of a SP...
متن کاملPromising Directions in Hardware Design Verification
Ensuring the functional correctness of hardware early in the design cycle is crucial for both economic and methodological reasons. However, current verification techniques are inadequate for industrial designs. Formal verification techniques are exhaustive but do not scale; partial verification techniques based on simulation scale well but are not exhaustive. This paper discusses promising appr...
متن کاملAddressing the Design and Verification Challenges of Long Term Evolution
(LTE) present a number of design and verification challenges for system engineers. Some examples include determining design requirements and specifications for new hardware designs, evaluating hardware re-use, and testing RF/mixed-signal designs and hardware independently of baseband hardware. Electronic Design Automation (EDA) simulation tools can help address these challenges by enabling syst...
متن کاملAn aspect-oriented, model-driven approach to functional hardware verification
The cost of correcting errors in the design of an embedded system’s hardware components can be higher than for its software components, making it important to test as early as possible. Testing hardware components before they are implemented involves verifying the design through either formal or more commonly, simulation-based functional verification. Performing functional verification of a har...
متن کاملPromising Directions in Hardware Design Verification (invited)
Ensuring the functional correctness of hardware early in the design cycle is crucial for both economic and methodological reasons. However, current verification techniques are inadequate for industrial designs. Formal verification techniques are exhaustive but do not scale; partial verification techniques based on simulation scale well but are not exhaustive. This paper discusses promising appr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006